منابع مشابه
The Implicit Function Theorem and Implicit Parametrizations∗
We discuss a differential equations treatment of the implicit functions problem. Our approach allows a precise and complete description of the solution, of continuity and differentiability properties. The critical case is also considered. The investigation is devoted to dimension two and three, but extensions to higher dimension are possible. MSC: 26B10, 34A12, 53A05. keywords: implicit functio...
متن کاملRobinson ’ s implicit function theorem
Robinson’s implicit function theorem has played a mayor role in the analysis of stability of optimization problems in the last two decades. In this paper we take a new look at this theorem, and with an updated terminology go back to the roots and present some extensions.
متن کاملComputability and the Implicit Function Theorem
We prove computable versions of the Implicit Function Theorem in the single and multivariable cases. We use Type Two Effectivity as our foundation.
متن کاملImplicit function theorem via the DSM
Sufficient conditions are given for an implicit function theorem to hold. The result is established by an application of the Dynamical Systems Method (DSM). It allows one to solve a class of nonlinear operator equations in the case when the Fréchet derivative of the nonlinear operator is a smoothing operator, so that its inverse is an unbounded operator. © 2009 Elsevier Ltd. All rights reserved.
متن کاملImplicit Function Theorem in Carnot–carathéodory Spaces
In this paper, we study the notion of regular surface in the Carnot–Carathéodory spaces and we prove the implicit function theorem in this setting. We fix at every point of R a subset of the tangent space, called horizontal tangent plane, and we assume that it has a basis X1, . . . , Xm of C∞ vector fields satisfying the Hörmander condition of hypoellipticity, (see [16]). This choice induces a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2017
ISSN: 1898-9934,1426-2630
DOI: 10.1515/forma-2017-0026